Scrutinizing Implementations of Smart Home Integrations

A key feature of the booming smart home is integration a wide assortment technologies, including various standards, proprietary communication protocols and heterogeneous platforms. Due to customization, unsatisfied assumptions incompatibility in integration, critical security vulnerabilities are likely be introduced by integration. Hence, this work addresses problems systems from an integration perspective, as complement numerous studies that focus on analysis individual techniques. We propose H ome S xmlns:xlink="http://www.w3.org/1999/xlink">can , approach examines implementations systems. It extracts abstract specification application-layer internal behaviors entities, so it able conduct end-to-end against attack models. Applying three extensively-used systems, we have found twelve non-trivial issues, which may lead unauthorized remote control credential leakage.